Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
SANTIAGO JÚNIOR, V. A.; TAHAR, S. Time performance formal evaluation of complex systems. In: CORNÉLIO, Márcio; ROSCOE, Bill (Ed.). Formal Methods: Foundations and Applications. Springer, 2016. v. 9526, p. 162-177. ISBN 978-331929472-8. DOI: <10.1007/978-3-319-29473-5_10>. Disponível em: <http://doi.org/10.1007/978-3-319-29473-5_10>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Santiago Júnior e Tahar (2016).
... pode ser encontrada na literatura (SANTIAGO JÚNIOR; TAHAR, 2016).